Modal algebra and Petri nets
نویسندگان
چکیده
منابع مشابه
The Box Algebra = Petri Nets + Process
The paper describes a Petri net as well as a structural operational semantics for an algebra of process expressions. It speciically addresses this problem for the box algebra, a model of concurrent computation which combines Petri nets and standard process algebras. The main result is that it is possible to obtain a framework where process expressions can be given two, entirely consistent, kind...
متن کاملAn Algebra of Timed-Arc Petri Nets
In this paper we present and investigate two algebras, one based on term re-writing and the other on Petri nets, aimed at the specification and analysis of concurrent systems with timing information. The former is based on process expressions (at-expressions) and employs a set of SOS rules providing their operational semantics. The latter is based on a class of Petri nets with time restrictions...
متن کاملTranslating Di-algebra to Petri Nets
| This extended abstract describes the theory behind a compiler for translating DI-algebra to Petri nets. Some background about the nature of the problem and its implications for asynchronous circuit design are given. It is concluded that such a translation is of both practical and theoretical interest. I. Motivation DI-algebra is a formal language that has been proposed in JU90] as a method of...
متن کاملRefinement and Asynchronous Composition of Modal Petri Nets
We propose a framework for the specification of infinite state systems based on Petri nets with distinguishedmayandmust-transitions (called modalities) which specify the allowed and the required behavior of refinements and hence of implementations. For any modal Petri net, we define its generated modal language specification which abstracts away silent transitions. On this basis we consider ref...
متن کاملRoad Traffic Models using Petri Nets and Minplus Algebra
We present in this paper a road traffic model based on Petri nets and minplus algebra in order to study the fundamental traffic diagram of regular city (american like city). The obtained dynamic is simulated using an extension of the maxplus toolbox of Scilab able to simulate general Petri nets with negative multipliers. The Petri net model corresponding to an intersection with traffic lights i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Informatica
سال: 2015
ISSN: 0001-5903,1432-0525
DOI: 10.1007/s00236-015-0216-3